Was (wer) ist Σύστημα Μωντ - definition
Σύστημα Μωντ
Το σύστημα Μωντ (Maude) είναι μια υλοποίηση της λογικής επαναγραφής που αναπτύχθηκε στο SRI International. Η προσέγγισή του γενικά μοιάζει με την υλοποίηση OBJ3 της εξισωτικής λογικής (equational logic) από τον Τζόζεφ Γκωγκέν, αλλά βασίζεται στη λογική επαναγραφής αντί για την εξισωτικής λογικής με διατεταγμένους τύπους (order-sorted equational logic), με έμφαση στον ισχυρό μεταπρογραμματισμό που βασίζεται στην ανάκλαση.
Επικοινωνιακό σύστημα
Ο βασικός σκοπός ενός επικοινωνιακού συστήματος είναι η ανταλλαγή πληροφορίας (δεδομένων) μεταξύ δύο μερών. Παράδειγμα μπορεί να είναι η επικοινωνία μεταξύ δυο υπολογιστών μέσω του τηλεφωνικού δικτύου , η ανταλαγή σημάτων φωνής μέσω του τηλεφωνικού δικτύου.
Σύστημα αναφοράς
Σύστημα συντεταγμένων είναι το σύνολο των παραδοχών και ορισμών που οριοθετούν ένα χώρο και αποσκοπούν στην περιγραφή της θέσης ενός αντικειμένου στο χώρο αυτό με αριθμητικές τιμές. Στην ουσία, ένα σύστημα συντεταγμένων είναι πάντα σχετικό ως προς κάποιο σταθερό σημείο και οριοθετείται με συγκεκριμένες παραδοχές που επιτρέπουν την υλοποίηση του.
